Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Logic Synthesis and Verification Algorithms

Автор: , Автор:
Размер книги: 39.81 Mb

Abstraction Refinement for Large Scale Model Checking

 Автор: , Автор: , Автор:
Размер книги: 8.65 Mb